formal semantic model meaning in English
形式语义模型
Examples
- His research concerns the development of formal semantic models of java , and extensions of java , both at the source and bytecode levels
他的研究涉及java的正规语义模型和java语言的扩展，都是在源代码和字节码的级别上的。 - His research concerns the development of formal semantic models and extensions of the java language , both at the source and bytecode levels
他的研究涉及正规语义模型和java语言的扩展，都是在源代码和字节代码的级别上的。